Resolviendo problemas de construcción de respuestas con Lean formalmente Descubre cómo el marco ECP combina LLMs y Lean para resolver problemas de construcción de respuestas con pruebas formales verificadas. 2026-06-02 · 2 min